home *** CD-ROM | disk | FTP | other *** search
- #!/bin/sh
-
- if [ "$1" = "copy" ]; then
- PRG=/gnu/bin/cp -p
- else
- PRG=/gnu/bin/ln
- fi
-
- cd /gnu/bin
- /gnu/bin/rm -f gunzip zcat fgrep egrep d v vdir flex++ ginstall ksh gawk [
- $PRG gzip gunzip
- $PRG gzip zcat
- $PRG grep fgrep
- $PRG grep egrep
- $PRG dir d
- $PRG dir v
- $PRG dir vdir
- $PRG flex flex++
- $PRG install ginstall
- $PRG sh ksh
- $PRG awk gawk
- $PRG test [
- if [ -d /gnu/man/man1 ]; then
- cd /gnu/man/man1
- rm -f gunzip.1 zcat.1 zcmp.1
- $PRG gzip.1 gunzip.1
- $PRG gzip.1 zcat.1
- $PRG zdiff.1 zcmp.1
- fi
- cd /gnu/..
-